printtim.dtx

---